\begin{tabbing}
ecl{-}max($x$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecl\_ind($x$;$k$,${\it test}$.0;$a$,$b$,$A$,$B$.\=if $A$$<_{2}$$B$$\rightarrow$ $B$\+
\\[0ex]else $A$ fi;$a$,$b$,$A$,$B$.\=if $A$$<_{2}$$B$$\rightarrow$ $B$\+
\\[0ex]else $A$ fi;$a$,$b$,$A$,$B$.\=if $A$$<_{2}$$B$$\rightarrow$ $B$\+
\\[0ex]else $A$ fi;$a$,$A$.$A$;$a$,$m$,$A$.$A$;$a$,$m$,$A$.\=if \=$A$$<_{2}$$m$$\rightarrow$\+\+
\\[0ex]$m$
\-\\[0ex]else $A$ fi;$a$,$l$,$A$.$A$)
\-\-\-\-
\end{tabbing}